Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
881	CURRICULUM VITAE August 2014 Willem Conradie Visser Professor Computer Science Add to Reading List Source URL: www.cs.sun.ac.za Language: English - Date: 2014-09-18 08:45:52 Software development Java Pathfinder Software Logic in computer science Model checking Software verification Runtime verification Static program analysis Verification and validation Formal methods Software testing Theoretical computer science
882	DRA FRONT END FILTER PROJECT Project Overview Document Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:36:49 Logic in computer science KeY Mathematical software Theoretical computer science HOL
883	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-05-29 03:59:19 Constraint programming Logic in computer science Automated theorem proving Electronic design automation NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Uninterpreted function Decision problem Theoretical computer science Mathematics Applied mathematics
884	PDF Document Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2008-11-04 04:12:05 Models of computation Computer science Diagrams Programming language semantics Concurrency Petri net Operational semantics Semantics Petri Theoretical computer science Formal methods Logic in computer science
885	PDF Document Add to Reading List Source URL: labatc.umh.es Language: English - Date: 2015-04-10 12:48:52 Electronic design Electronic design automation Logic in computer science Sequential logic Logic gate Adder Flip-flop Combinational logic Karnaugh map Electronic engineering Electronics Digital electronics
886	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 PreScheme Scheme programming language Logic in computer science Compiler construction Programming language semantics Source code Software engineering Computer programming Computing
887	PDF Document Add to Reading List Source URL: www.cis.strath.ac.uk Language: English - Date: 2009-03-25 09:27:15 Automated planning and scheduling Combinatorial optimization Mathematical logic Planning Domain Definition Language SAS Symmetry in mathematics FO Symmetry S0 Theoretical computer science Mathematics Applied mathematics
888	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:47 Automated theorem proving Concolic testing Logic in computer science Java Pathfinder Symbolic execution Interprocedural optimization Control flow KeY Software bug Software engineering Formal methods Computing
889	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
890	PDF Document Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:43:06 Computing Functional languages Logic in computer science Lisp Combinatory logic ML Normalization property Scope Lambda Programming language theory Software engineering Lambda calculus

UPDATE